grabHelper: Avoid sync_pointer after pop_modal()

This is only necessary for the X11 backend (as grabs triggered by other
clients leave GNOME Shell oblivious of the actual pointer position), but
is now handled inside Mutter.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1556>

diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 2ba2aad9a3295d987ccaa3b3132e189f517b1b13..532f744175a110ca01007706f613f2920055138c 100644 (file)
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -226,7 +226,6 @@ var GrabHelper = class GrabHelper {
         this._ignoreUntilRelease = false;
 
         Main.popModal(this._owner);
-        global.sync_pointer();
     }
 
     // ignoreRelease: